Martin Wirsing (auth.): Z-Libraryで検索

寄付 2024年9月15日 – 2024年10月1日募金について

知識と文化への入り口。誰にでもアクセス可能です。

寄付 2024年9月15日 – 2024年10月1日

Z-Libraryは17,000,000冊以上の本と 84,837,000個の記事の本を含む世界有数の電子図書館です。我々のミッションは誰にでも本を手に入れやすくすることです！本日 (2024年9月15日) プロジェクト発展・サポートに向けた追加寄付の募集を始めます。.

までの寄付金募金期間中に寄付してくださる全てのユーザー様にも（寄付日から31日の間に）無限2024年10月1日ダウンロードを差し上げます。.

募金について詳細

寄付をする

フィルターを適用する

完全一致

完全一致

本 (37)
一番人気本
リスト
- リスト
- 表

1

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)

年:

2008

言語:

english

ファイル:

PDF, 3.54 MB

0 / 0

english, 2008

2

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

年:

2011

言語:

english

ファイル:

PDF, 13.23 MB

0 / 0

english, 2011

3

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

年:

2009

言語:

english

ファイル:

PDF, 9.09 MB

0 / 0

english, 2009

4

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)

年:

2003

言語:

english

ファイル:

PDF, 8.68 MB

0 / 0

english, 2003

5

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.)

年:

1992

言語:

english

ファイル:

DJVU, 4.27 MB

0 / 0

english, 1992

6

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Maura Cerioli (auth.), Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.)

年:

2004

言語:

english

ファイル:

PDF, 3.79 MB

0 / 0

english, 2004

7

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)

年:

2008

言語:

english

ファイル:

PDF, 9.22 MB

0 / 0

english, 2008

8

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

年:

2011

言語:

english

ファイル:

PDF, 17.12 MB

0 / 0

english, 2011

9

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)

年:

2003

言語:

english

ファイル:

PDF, 4.80 MB

0 / 0

english, 2003

10

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

年:

2010

言語:

english

ファイル:

PDF, 5.23 MB

0 / 0

english, 2010

11

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Allaithy Raed, Martin Wirsing (auth.)

年:

2013

言語:

german

ファイル:

PDF, 2.66 MB

0 / 0

german, 2013

12

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Lutz Heuser (auth.), Nora Koch, Piero Fraternali, Martin Wirsing (eds.)

年:

2004

言語:

english

ファイル:

PDF, 11.77 MB

0 / 5.0

english, 2004

13

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

C. P. Schnorr (auth.), Robert Cori, Martin Wirsing (eds.)

年:

1988

言語:

english

ファイル:

DJVU, 4.89 MB

0 / 0

english, 1988

14

Elementare Aussagenlogik

Elementare Aussagenlogik

Springer-Verlag Berlin Heidelberg

Friedrich L. Bauer, Martin Wirsing (auth.)

年:

1991

言語:

german

ファイル:

PDF, 8.30 MB

0 / 0

german, 1991

15

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

年:

1983

言語:

english

ファイル:

PDF, 10.65 MB

0 / 0

english, 1983

16

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

年:

2005

言語:

english

ファイル:

PDF, 5.67 MB

0 / 0

english, 2005

17

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

年:

1983

言語:

english

ファイル:

DJVU, 3.71 MB

0 / 0

english, 1983

18

Algebraic Methods: Theory, Tools and Applications

Algebraic Methods: Theory, Tools and Applications

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Jan A. Bergstra (auth.), Martin Wirsing, Jan A. Bergstra (eds.)

年:

1989

言語:

english

ファイル:

DJVU, 5.38 MB

0 / 0

english, 1989

19

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)

年:

1991

言語:

english

ファイル:

DJVU, 6.59 MB

0 / 0

english, 1991

20

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

年:

2011

言語:

english

ファイル:

PDF, 13.54 MB

0 / 0

english, 2011

21

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)

年:

2012

言語:

english

ファイル:

PDF, 3.80 MB

0 / 0

english, 2012

22

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)

年:

1995

言語:

english

ファイル:

DJVU, 3.92 MB

0 / 0

english, 1995

23

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)

年:

1987

言語:

english

ファイル:

DJVU, 4.38 MB

0 / 0

english, 1987

24

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)

年:

1991

言語:

english

ファイル:

DJVU, 5.26 MB

0 / 0

english, 1991

25

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

年:

2009

言語:

english

ファイル:

PDF, 14.97 MB

0 / 0

english, 2009

26

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

年:

2003

言語:

english

ファイル:

PDF, 4.77 MB

0 / 0

english, 2003

27

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)

年:

1991

言語:

english

ファイル:

PDF, 11.97 MB

0 / 0

english, 1991

28

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)

年:

2013

言語:

english

ファイル:

PDF, 6.84 MB

0 / 0

english, 2013

29

Methods of Programming: Selected Papers on the CIP-Project

Methods of Programming: Selected Papers on the CIP-Project

Springer-Verlag Berlin Heidelberg

Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.)

年:

1991

言語:

english

ファイル:

DJVU, 2.20 MB

0 / 0

english, 1991

30

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)

年:

1987

言語:

english

ファイル:

PDF, 9.86 MB

0 / 0

english, 1987

31

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

J. S. Fitzgerald (auth.), Martin Wirsing, Maurice Nivat (eds.)

年:

1996

言語:

english

ファイル:

DJVU, 6.79 MB

0 / 0

english, 1996

32

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)

年:

1991

言語:

english

ファイル:

PDF, 11.76 MB

0 / 0

english, 1991

33

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)

年:

2012

言語:

english

ファイル:

PDF, 3.89 MB

0 / 0

english, 2012

34

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Lutz Heuser (auth.), Nora Koch, Piero Fraternali, Martin Wirsing (eds.)

年:

2004

言語:

english

ファイル:

PDF, 8.47 MB

0 / 0

english, 2004

35

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

年:

2005

言語:

english

ファイル:

PDF, 5.89 MB

0 / 0

english, 2005

36

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

年:

2010

言語:

english

ファイル:

PDF, 5.18 MB

0 / 0

english, 2010

37

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

年:

2003

言語:

english

ファイル:

PDF, 6.52 MB

0 / 0

english, 2003